Functions, Frames, and Interactions { Advocating Rst Class Modules {
نویسنده
چکیده
Combining modules as rst class data structures with explicit input/output-operations for arbitrary expressions in a purely functional programming language brings the exibility of integrated programming environments under control of the functional language. Compared to conventional module systems, the proposed solution provides enhanced func-tionality in a simpler framework, using the functional language as an unrestricted module language and the extended input/output-facilities to make modules persistent.
منابع مشابه
G-frames and their duals for Hilbert C*-modules
Abstract. Certain facts about frames and generalized frames (g- frames) are extended for the g-frames for Hilbert C*-modules. It is shown that g-frames for Hilbert C*-modules share several useful properties with those for Hilbert spaces. The paper also character- izes the operators which preserve the class of g-frames for Hilbert C*-modules. Moreover, a necessary and suffcient condition is ob- ...
متن کاملG-frames in Hilbert Modules Over Pro-C*-algebras
G-frames are natural generalizations of frames which provide more choices on analyzing functions from frame expansion coefficients. First, they were defined in Hilbert spaces and then generalized on C*-Hilbert modules. In this paper, we first generalize the concept of g-frames to Hilbert modules over pro-C*-algebras. Then, we introduce the g-frame operators in such spaces and show that they sha...
متن کاملFunctions, Frames, and Interactions
This paper describes some proposals for improving the reduction language KiR with respect to data abstraction, modularization and input/output. Rather than adding specialized language elements for each purpose, an attempt is made to provide the desired functionality by way of only two extensions. These are frames (record-like data structures) and interactions (constructs describing communicatio...
متن کاملThe study on controlled g-frames and controlled fusion frames in Hilbert C*-modules
Controlled frames have been introduced to improve the numerical efficiency of iterative algorithms for inverting the frame operator on abstract Hilbert spaces. Fusion frames and g-frames generalize frames. Hilbert C*-modules form a wide category between Hilbert spaces and Banach spaces. Hilbert C*-modules are generalizations of Hilbert spaces by allowing the inner product to take values in a C*...
متن کاملA Polymorphic Language With First-Class Modules
Modules provide a grouping mechanism in modern programming languages that provide both syntactic and semantic support for constructing modular programs. Existing languages with modules are strat-iied-the module system \sits on top of" the core language. This paper presents a language fragment where modules are rst-class objects and are hence part of the core language. Modules are deened by exte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995